perm filename CMSSI9.360[360,GF]4 blob
sn#866835 filedate 1988-12-16 generic text, type T, neo UTF8
{`dα&Q*Dλ#∪ie ⊂≠nW 8≥.B_N'β@↔&"p_MG#≠&4 GβQp∂∧@UXβ⊗`eP↓@ 5P↓@ EH↓@@EH↓@@E@↓@`E8α`E8↓A 50α↓ 50↓A@E(α↓@E α↓`E α↓`E_ααE_↓B E⊂αα@E⊂↓B`Eλ TαE
∪`@hα∪`0pαS@@xα∪ Aα∪ Aα∪Aλα∪Aλα∩`A⊂α∩`1 α⊃(D⊂
πcapββj↓λ(∧J ∧AJ ¬A)p εA p εA p πip εA p ε@i` εA ` ε↓ ` ¬↓)aλ'∧ Q⊂&A↓8&A↓0(&A↓@ &↓↓` &↓↓` &↓↓` &↓↓` &↓↓` %A↓` %A↓P %A↓@(%A↓⊂8%DI!⊂%βhT !F#r∂CA¬0ε∃↓u_β↓@EλαB`∃αS`Txα∪@Dhα∪ D`α∪DXα∩`DXα∩@DPα∩@DPα∩@DPα∩@DPα∩@TXα∩`D`α∪P`↓∪ `8αSB¬εTA∧("⊃βBλ∂π@`x(∧*↓⊂(↓↓⊂0(↓↓0('A↓P 'A↓P('A↓` 'A↓` 'A↓p '↓α '↓α '↓α '↓α '↓α_&Aα &Aα &Aα &Aα_&↓α &↓α &↓↓p &↓↓` &↓↓` %A↓` %A↓P %A↓0(%A↓⊂0%DI!λ%βHT "FCqp∂↓B5 Tα5α∀Dxα∪`Dxα∪`Dxα∪@Dpα∪@Dp ∪B$h ∪ Dhα∪ D`α∪D`α∪D`α∩`DXα∩`DXα∩bDP
∩BD("⊃C⊃p∂π@a⊂(∧J↓⊂(↓
'A p 'A p 'A ` '↓ ` '↓ a&D Q&A P &↓ @ &↓ @ &↓ 0 %A 0 %A 0 %↓ "QλqX⊂Hβpx∧∃Ae λT``8αT@PX↓∀Uα∪`Dpα∪ Dhα∪D`α∩`DXα∩`DPα∩@DPααa∀Pααa∀PααA∀Pαβ`DPαβ`DPαβ`DPαC@DXαβ DXαβ D`αβDhαα`DhβαTpλT↓e⊂∧⊃(D@∞HCapβ↓↓` (↓↓` (↓↓` (↓↓` (↓↓` 'A↓` 'A↓` 'A↓` 'A↓` 'A↓` '↓↓` '↓↓` '↓↓` '¬Ia0&EIP π↓ P π↓ P π↓ @ π↓ @ π↓ @ π↓ @ π↓ @ π↓ 0 π↓ 0 π↓ 0 π↓ 0 π↓ 0 π↓ π↓ π↓λT $Baqp∂↓@Eα∀Eα∀Dxα∪`Dxα∪`Dxα∪@Dpα∪@Dpα∪@Dhα∪ Dhα∪ D`α∪D`α∪D`α∩`DXα∩`DXα∩`DPα∩@D("∩Ba@∂GB⊂ -A0 -A0 -↓ -↓ -↓⊂ ,A⊂ ,A⊂ ,↓ ,↓ +A
p +A
p +A
` +↓
` %@!⊂ %@``(%βI@P'↓HT %GD1p∂↓@@pαT@hαT@`αT@XαT@PαS`@Pα∪`@Hα∪`@8αS`@0αS`@(αS@@(αS@@ αS@@_αS@@⊂βS@@λ∧∪ @λα Dh∧`DhβADhβ↓ T`β↓`D`αBT`αα@D`αα@D`αα`DXαβDXαβTXαβ DXαβ TXαβ@DPαβ`DPα∧D("∪α!8∂π@` (↓
(↓
'A p 'A p 'A ` '↓ ` '↓ ` &A P &A P &↓ @ &↓ @ &↓ 0 %A 0 %A 1λ%∧)!λ"Q R ∀GC`0β∧ eβ∧ eβ∧uα ⊃↓ Eα ⊂x↓@ Dxα@⊂x↓ Dxα@⊂p↓@ Dxα@ `↓@@Dxα@ `↓@@Dxα@ Xα@Dpα` X↓@@Dpα` Pα@Dpα` P↓@`Dpα` Hα`Dpα`0@↓ADhα↓08α`Dhα↓00α↓Dhα↓00α↓Dhα↓0(α↓ D`α↓ 0(α↓D`α↓ 0 α↓ D`α↓@ ↓A@D`α↓@ _α↓@D`α↓@ _↓A`DXα↓` ⊂α↓@DXα↓` ⊂↓A`DXα↓` λα↓`DXα↓``@α∩`@@αBDPαα @@α∩@A(α⊃(Dp∞HCapβ↓a0 (↓a0 (↓a0 (↓⊂⊂¬A
@a 'A _∧A p ↓a⊂ 'A _∧A p ↓↓↓ 'A ∧↓ ` α`p '↓@_βA ` α`p '↓@ β↓ ` α↓` &AP αA P β`P &A` α↓ P β↓@ &↓p ↓A @ ∧`0 &↓↓_↓A @ ∧`0 &↓↓ ↓↓ 0 ∧A⊂ %A↓ _A 0 ¬`⊂ %A↓ _A 0 ¬α ε↓I ε↓HT 'G∧"∂C@e(ε∃↓e⊂β↓ eλαB UαβDxαβ@Dpαβ`Dpαβ`Dhα∧ 4h↓D@D`α∧@D`↓D`DXα∧`DXα∧`DXα∧`4Pα∧`DPα∧`DPα∧`DPα∧@DPα∧@DPα∧@DPα∧ DPα∧TPα∧DXαβ@DXαβ DXαB`T`αB ThαA@Tpπ∪a5λβQ(EGCapββJ↓(∧* ∧↓J ¬↓ p ε↓ p ε↓ p ε↓ p ε↓ p ε↓ ` ε@i` ε↓ ` ¬A ` ¬↓ ` ∧↓IQλ&D Ph&A @ &↓ @ &↓ @ %A 0 %A 0 %A %↓λT (G∧"(∂C@e(ε∃↓e⊂β↓ eλαB UαB`Dxαβ TpαC@Dpαβ`Dhα∧Dhα∧ D`α∧@D`α∧@DXα∧`DXα∧`DXα∧@DPα∧`DPα∧`DPα∧`DPα∧@DPα∧@DPα∧@DPα∧ DPα↓`@0α∩@@8α↓ DXα↓@P_α∩`@8α@DXαAA$`αAA∧hαA dpπ∪aeλβ@ EHαV UPαV@UXα⊃(E⊂
πcapββJ↓λ(∧J ∧AJ ¬A p εA p εA p εA p εA p ε@i` εA ` ε↓ ` ¬A)` ∧AIaλ&D)Pp&Ap &Ap &↓↓⊂_&↓↓⊂ &↓↓⊂ &↓↓ &↓↓ %A↓0 %A↓@ %A↓@ %A↓P %A↓P %↓↓` %↓↓p "Q
1@
HβphβU!E_πT@P0αT @P↓∀Eα∪`Dxα∪`Dxα∪`DxαS`u¬∀!5⊂¬U!∃HαV@UPαV`EXα⊗`EXα⊗@EPα∩@ hα∩@@Pα∩@`0αRat`εS`t("∃β2_∂π@↓P%εI!P*A
P *↓
@ *↓
@ *↓
0 )A
0 )A
0 )↓
)↓
(A
⊂ (A
⊂ (A
(↓
(↓
'A p "Q
QP⊂Gc` αβ Dpαβ Dpαβ Dpαβ Dpαβ Dhαβ Dhαβ Dhαβ Dhαβ Dhαβ D`αβ D`αβ D`αβ D`αβ D`αβ DXαβ DXαβ DXαβ DXαβ DPαβ DPαβ DPαβ DPαβ DPαβDPαβDPαα`DPαB DXααTXβ↓d`εS!4xβ⊃(E0∞Iβap↓αP %↓"0 %Aα %Aα %Aα⊂ %Aα⊂ %A!p &↓↓` &↓↓` &↓↓P &↓↓P &↓↓@ &↓! &A↓ &A↓⊂ &A↓⊂ &A↓ &A↓_&Ap '↓P '↓P '↓@ '↓@_'↓0 '@`0_'@` '@` _'@`⊂_'Aip0(↓(T +JF⊃p∂@pββ@DPαβ phα∩@@hβC DPαβ p`α∩`@X∧βDXαα`0λαα`DXαα@@⊂↓B`DXαα@0_↓B@DXαα @_↓B@DXαα 0 ↓B DXαα@ ↓B DXαα0(α↓`DXα↓`@(α↓`DXα↓`00α↓`4Xα↓@@0α↓@DXα↓@08α↓@4Xα↓ @8α↓ DXα↓ 0@α↓ 4Xα↓@@α↓D`↓A0Hα↓4`↓A0Hα`D`↓@`0X↓@`4`↓@`0X↓@@D`↓@@0`↓@@4`↓@@0`↓@@4`↓@@ h↓@ 4`↓@ 0h↓@ 4`↓@ p↓@ $`ββ@d`αC`T`αC`T("⊗∧∩⊂∂π@p(λ↓* πA* (εA*0 ε↓*0(¬↓*@(∧↓*P βA*P(αA*` αA
`(↓A
p ↓↓
pH,↓k0,A0+Aj`H*A ⊂ *↓ 0 *↓@ )A` )↓p((A↓⊂ (↓↓ ('A↓@ '↓↓P(&A↓p &↓!p(%A"⊂(%↓" ("Q⊃h∩πC`αD`TPαD`DXαD DXαDD`αC@D`αC DhαβThαB@Tpαα TpαA`Txα↓`DxαA Eα↓Eα`Eλα Eλ∧∀@e⊂β∀`E⊂α∀@E⊂α∀@E⊂↓T Eλα∀ Eλα∀ 5α∀D("⊗CAx∂π@a((¬*↓(/A+p /↓P .↓+0(-A ,A +A*`(+↓
P *↓
0()↓*⊂((A
'A `(&A)@(&↓ 10%¬I!0"Q⊃⊂
Db0@β∪a4pεS@00α∪ Hα⊗E@α⊗E8α∀↓4pεS`(α∩`P8α∩@@@α∩@@@α∩@@@α∩@P(β∩B∧X∧@ D`β`D("_BA8∂π@` (↓
(↓
'A p 'A p 'A ` '↓@('↓⊂H'βi`0αA)P(∧↓ P ∧A P ∧A P ∧A @ ¬↓ @ ¬↓ @ ¬↓ @ ¬↓ @ ∧A 0 ¬↓ 0 ∧A 0(βA)00α↓I0x%↓ @%↓0("Q1λ
Db0@β∀↓$xε∪@@0↓∪ @@SDXα∩`DXα∩@DPα∩@DPα∩@DPα∩@PHR`@0α∪↓Th¬∪@t("→αqX∂πB .↓@ .↓@ -A0 -A0 -A )↓ 0 (α ⊂ '∧ `(αAIP ∧↓ @ ∧A 0 ¬↓ 0 ¬↓ 0 ∧A ¬↓ ¬↓ ¬↓ ¬↓ ∧A ∧A (βA)0(α↓i0XA @HA `(↓AλT 2DBQ_ Be¬∪aDpαADhα↓`4`αα4Xαα@4XλRb∧PλR@DPα∩@DPα∩@DXαα ∀XαA D`εS!$xβ⊃(F0λE#ap¬AJ0@)α*⊂ (↓
_'A p 'A p '↓ `%β `'↓ P &A P &A @ &↓ @ &↓ @ %A 0 %A 0 %A %↓λT 3F#⊃h B`P(α∀b¬⊂λT @ α∀@0α∪`@8α∪`@8α∪`@8α∪`@0α∪`08α∪`@(α∪`@ αSaDp¬S@ ⊂αS@$h↓S!Tpπ∪At` ∩`PHαR`@Xα∩@@`α∩@@`α∩@PPα∩`P8αS↓thεSa∧("~αA8∂π@` (↓
(↓
'A p 'A p 'A ` '↓@0'↓ H'∧ `0αA)P0βA P(∧↓ P ∧A P ∧A @ ∧A @ ∧A @ ∧A @ ∧A @ ∧A 0 ∧A 0 ∧A 0 ∧A 0 ∧A 0 ∧A ∧A ∧AλT 4BAQx∂A@Eα∀Eα⊃a α∪@Dpα∪@Dhα∪ Dhα∪ D`α∪D`α∪D`α∩`DXα∩`DXα∩`DPα∩@D("~B@x∀πb ,A⊂ ,Aλp@εA
p +A
p +↓
` +↓
` *A
P *A
P *A
@ *↓
@ *↓
@ )A
0 )A
0 )↓
)↓ 0⊂α↓ 0H%α)@0"Q
1(πC`0α∀Eα∀Eα∪`Dxα∪`Dxα∪`Dpα∪@@@αS@@8α∪@@0α∪@@(α∪ @(α∪ @_αS @⊂α∪ @λα∪@λβ∪↓4`ε∪`λαS@ αR`@(αR`@0α∩`@0αR`@8α∩`@8αR@@@αR@@HαQ(F`¬CCapβ↓
(↓
(↓ p 'A p 'A p '↓ ` '↓ ` '↓ P &A P &A @ &↓ @ &↓ @ %A 0 %A 0 %A %↓λT 6H$A_ A@ β↓`dpαA⊂ ∧SBλε∪@`(∧↓ Thβ↓``8α∪ P@αBDhαα @Hα∪ @Hαα D`αα @Hα∪@Hαα D`αα @Hα∪@Hαα D`αα @Hα∩`@Hαα DXαα @Hα∩`@Hαα DXαα @Hα∩`@Hαα DPαα @Hα∩@@Hαα D("≠BA8 D`@ α↓I` ↓α)a'↓@P(&A@p &A! &A↓⊂ &A↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %↓↓⊂ %↓↓⊂ "Q
q Db0Hβ∀!$xεS@P(αS @@αS@Pα∪0Xα∩`@Xα∩`@Xα∩@@`α∩@@`α∩@@`α∩@@Xα∩@@Xα∩@@Pα∩`@@α∩`P(αS↓Th¬S`d("≤αa8∞∧`` α↓* B*x(↓@@0'A p('A↓⊂ 'A↓⊂ 'A↓⊂ '↓↓ '↓↓ '↓↓ '↓↓ '↓↓⊂ &A↓ &A↓⊂ &A p(&A@@0&Ci@ ↓α @ ↓A)@ &↓ 0 %A 0 %A 0 %↓ "Q∞⊃ πα0@α@`E∧@Dx¬ DpαAthα↓`T`αα DXαB DXαα@DXαα DPαα@DPαα@DPαα@DPαα@DPαα DPαα DPαA`TXαAtX¬@ D`∧@ Dhβ`E0α∃@E(α∃ E(α∃ E(α∃E α⊃(G⊂πDB1_α↓@_'↓ ('↓⊂0'α P8&AIP(&A @(&↓ @ &↓ @ %A 0 %A 0 %A %↓λT 9DBA_ B↓¬ε∪aTpα↓`$hα∪ Dhα∪ Th∧SA$x¬∀!¬(α∃ E(α∩@ Hα∩@@0α∩ATX¬S t("≥↓Q⊂F @ '↓ ` '↓ ` &A h%β) h&A @ &↓ @ &↓ 0 %A 0 %A 0 %↓ %↓ ↓@I H%α)00"Q∞Q ∧b0_αα Dhαα Dhαα Dhαα D`αα D`αα D`αα D`αα DXαα DXαα DXαα DXαα DXαα DPαα DPαα DPααTPα↓@tPλRA0λα∪` α⊃(G0 Fα1_↓↓ %↓↓ %↓↓⊂ %↓↓⊂ %Ap %Ap_%A` %AP %AP %A@ %A@ &`0 &`0 &` &` _&` _&`⊂_&↓iP(&A(T ;G$!_ @@@ααDPα↓`P@α∩@@8αA`DPα↓@0λ↓A@DPα↓@ ⊂↓A@4Pα↓ 0⊂↓A DPα↓ 0⊂↓A 4Pα↓0_↓ADX↓A0_↓A4X↓@`0 ↓@`DX↓@`0 ↓@`4X↓@` (↓@@DX↓@@0(↓@@4X↓@@ 0↓@@4X↓@ 00↓@ 4X↓@ 8↓@ 4X↓@ 8↓@ $XαBdXαBTXαα T("≡αq8 D`P ¬↓ p(∧↓
βA
⊂ αA
⊂ α↓
↓↓
H)Aj@(*↓
@ )AJ _@j⊂_↓↓
_α↓ p_αA `_βA P βA @ ∧A 0 ¬↓(T <Fβ↓` A @Pα∪`@Pα∪`P@α∀@@α∀@8α∀@0α∀@0α∀@(α∀ @ α∀ @_α∀ @_α∀ @⊂α∀ @⊂↓T@0⊂↓T@0λ↓T@0λ↓T@0λ↓∀@U_α∀`5_↓T@5λα∀ 5↓S`DXβR@tPαQ(GP
¬"1_αCipx'CK +A
` *A*@(*↓
0 )↓
⊂ (↓ p '↓ P &↓ 1%∧ !"Q↓@∞GC`0λTα∃λTEα∪`Dxα∪`Dxα∪`Dpα∪@Dpα∪@Dpα∪ Dhα∪ Dhα∪D`α∪D`α∪DXα∩`DXα∩`DXα∩@DPα⊃(@λ⊂Hcap
↓+`0.Ak@ @k@_↓k0 ↓↓ ↓A _α↓⊂ α↓ β↓ β↓
p βA
` ∧↓
` ∧↓*P ¬↓
@ ¬A
@ ¬A
0 ε↓* π↓
π↓
⊂ πA
λ↓* λA p ↓ ` A ` A)P
A Ap&πI2%λ(T ↓πDB∂C`u0ε∃↓u_β↓ eλαB@UαCTxαC@Dxα∧Dpα∧ Dhα∧@Dhα∧`D`α¬D`α¬DXα¬ DXα↓↓P α∩`@ ε@`DPα↓↓P α∩@@ εADPα¬ DPα¬DPα¬DPα¬DPα∧`DPα∧@DPαD DXα∧DXαβ`D`αβ D`αB@Thβ↓@dpλ∀↓E⊂βQ(@_FCapλA (-↓K⊂_@k_↓k_A
p A
p_↓↓
` ↓↓
`_αjP αjP_αA
@ αA
@_β↓
0 β↓
0_βA
βA
_∧↓
⊂ ∧↓
∧A
∧A)p ¬↓)p ¬A ` ε↓ ` ε↓ P εA P_π↓ @ π↓ @_πA 0 πA)0_λ↓(T αλ$1p∂↓C%
∀β$8¬↓bEλ
∀αD8ε#$P
∩C$("↓#R⊂∂π@a0(¬J↓0(↓↓` (↓↓` 'A↓` 'A↓` 'A↓` 'A↓` 'A↓` '↓↓` '↓↓` '↓↓` '↓↓` '↓↓` &A↓` &A↓` &A↓` &A↓` &↓↓` &↓↓` &↓↓` &↓↓` &↓↓` %A↓` %A↓` %A↓` %A↓` %A↓` %↓↓` %↓↓` "Qbλ∩πC`0
∀β%
∀UλαT U⊂αT`U_αUU αU U(αU@U0β∃`U8α∃@E(αUU_αT@UλαTUα∪`TpαS T`Rc∀P
⊃(@8∞I#qxβ↓A⊂('α `H&B`@P&↓ @_↓A0(%A `⊂↓@`P %Ap_@`` %↓↓_@@p +↓Jp +↓*`(+↓
` +↓
` +↓
P *A
P *A
@ *↓
@ *↓
@ )A
0 )A
0 )A
)↓λT ∧εD↓p∂β@E@α⊗E@α⊗E(∧∀Aeλλ∪``⊂α dpαA@_αS @(α↓ T`α↓@@0α∩`P0α↓@DXα↓`@0α∩`@8α↓@DPα↓`@8α∩@@8α↓`DPα↓`@8α∩@@8α↓@DPαA @0α∩`@(α↓ TXαA@ αS`⊂α dhλSaUλ∧∀`E_α∀`E⊂α∀@D("α#b0∂πA` ,↓ %A! β↓I00βA`0%↓`` β↓I@(β↓`(&↓ ` αA)@(β↓P &↓ ` αA @ β↓P &↓` αA @ β↓P &↓` αA @ β↓@ %A P αA 0 β↓P %A P α↓ @ αA@ &↓@ α↓ @(↓A0(&↓ 0 ↓↓)P0BI`x'C
⊂@)A
0 )A
)↓λT ¬λ∧!x∂D!¬@εUB¬(β↓@e_βα@U⊂αC U⊂αβ`Eλα∧Eα∧ Uα∧@Eα∧@Dxα∧@Dxα∧@Dxα∧@Dxα∧ Dxα∧ Dxα∧E↓DE↓C`Eαβ@5αβ Eλ↓CEλ↓C5λαα@5⊂↓B E⊂↓B 5⊂↓B5⊂↓B5⊂↓A`4X¬↓a4P¬AA4P¬AA4("αA@∂π!0()B*⊂`(↓ 0('A` 'Ap '↓↓ 'a⊂ &A↓⊂ &A↓⊂ &↓↓ &↓↓ &↓↓ &↓↓ _%A↓ %A↓ %A↓ %A↓ %@a %↓↓ %↓↓ %↓↓ _%↓↓⊂ %↓↓⊂ %↓↓ %↓↓_%A` %A 0(&αiPH'↓HT _DαAh∞C`∃8↓Ue¬∪a$xα@E(α∃ E(α∃E α∃E α∃E_α∀`E_α∀`E⊂α∀@E⊂α∀@E⊂α∀ Eλα∀ Eλα∩adXπ∩At("BqH∞G!@0*αJ h(AP((@A((a⊂ '@a '@A0('@A0 '@!@ .↓@ -A0 -↓⊂ ,↓
p +j@ )A
_(@ip '↓ P_&i1⊂%∧I!⊂"Qε1(πCPXβ∀a%λεTP(α∪`@@α∀ Hα∀⊂Pα⊗`EX↓V@EHα⊗ E8αTa¬⊂βTA¬8α⊗EH↓V EHα⊗ EHα⊗DPC DP↓α`DP↓B DPαA@TXεS!$xβ⊃(C
EcA`πA+⊂(, ⊂ +@ ⊂ +@⊂ *@`⊂ *@@ *` )@` )↓ )`0 (@`@ (↓@ 'A@ '@`P '↓P &A` &↓` &`p %E 1 %E
P *A
P *A
P *↓
@ "QεQ(π#@8π∀↓uπTEα∪`Dxα∪`Dxα∪`Dpα@TpεSAdpβ↓Dpα↓`DhαA`DhααEHα⊗ EHα⊗ E@α⊗DXCDP↓B@DP↓B DPαA TXεS↓$pβ⊃(C0 EcahεA*P@)BJ (αJ⊂ (↓ p '↓ ` &A P ↓A)@ ↓α @ BI@8α↓)00βA 0(∧↓ 0(∧↓ 0 ∧A 0 ∧A ¬↓ ¬↓ ¬↓ ¬i ∧A ∧A 0_∧↓ 0 β↓ 0(α↓ @X&B)p("Qεq_
πβ@λ ∩b$X ⊗ 5@↓U`50↓U 5 α∀`E_↓T@Eλα∀ 5α∪`Dxα∪@Dpα∪ Dhα∪D`α∪DXα∩`DXα∩@DPα⊃(C@
εβah¬↓J P(C
(α↓ p βA p βA ` ∧↓ ` ∧↓ ` ∧↓ ` βA ` βA ` β↓ p ↓A*H(AipX&AP(&↓p %A↓⊂ %A↓⊂ %↓↓ %↓↓ %↓↓ %↓↓⊂ %↓↓⊂ %↓↓ %↓p(%↓ P(%C)@P'↓HT ≤E#↓p∞B`e ∧∀A5λαAEα↓`4xααDxααDpαα Dpαα Dhαα@Dhαα@Dhαα@Dhαα Thαα Dhαα DhααThα↓`dpα↓↓∧pπSa⊂α∀P ↓VE@↓U`E0α∃@5 α∩`0(α∩ADX¬∪ d(" αaH⊃H!`_,k_+↓J@X)βJ⊂(@` (@`0_α*_↓@ip_αip_αip_αip_αip_↓@ip ↓ip(@j@(αJ⊂P)B
@@*`⊂ )@`0_)@`0_)@`0_)@`0_)@`0⊂)`0_%@ `_↓↓ _α@`⊂ %↓ 08%C)@X'AJ⊂_(@hT ∪πd"∂C`U8∧∃A%(α`E(↓AE ↓A E ↓A E_α↓ E_↓A@E_↓A E_↓A E⊂α↓E⊂α@U⊂α PPTAXα∀@p`↓T`P`α∀ `h↓Tp`α∪a⊂Pα∪ P⊂αα@4`α@`P@↓S@ αA`DXα↓@P(α∩`@0αADPααP⊂α∩@@H∧R@@H∧∩@PHβ∩`P(¬↓@$X
S↓@_¬S@pHβ⊃(CxπEcapαAi@`%CI0 β↓ 0λ∧A
P *A
P *↓
0()↓*⊂ (↓ p '@i` 'iP &@iP_&@iP⊂#A ⊂ %A %↓λT ∨βb⊃p
B`E α∃E α⊃`PH↓T`5_↓T@E⊂↓T@5λ↓T 5↓S`Dpα∪ D`α∩`DXα∩@DPα∩@@HR@P(α∩ad`¬S t("∧↓X D`@ '↓ ` '↓ P &A P &A @ &↓ @ &↓ @ %A 0 %A 0 %A %↓λT λD!A` C E8α∃`E8α∃@E0α∃@E0α∃ E(α∃ E(α∃ E α∃E α∃E α∀`E_α∀`E_α∀@E⊂α∀@DX↓↓DX∧RA∀`β⊃(AH
¬cap¬AJ0H)αj⊂ αA
β↓ p βA p βA p βA p β↓ p β↓ ` β↓ ` ↓AI` ↓A)` ↓AI` αA)P βA P ∧↓ P ∧↓ P ∧↓ @ ∧A @ ∧A @ ∧A @ ∧A @ ∧A 0 ∧A 0 ∧A 0 ∧↓ 0 βA 0 ↓Ai ↓Ai ↓↓HT
πd!_ Bp8αSa0_¬∪APλε∪@00∧ADh↓α `8↓VP@α⊗P@α⊗α∃
∪c∀hπ∪`(α∩`@@α∩@@Hα∩@@@β∩@@@βα ∀PαA! (↓RaPλεRa@_¬∪↓@β⊃(AX⊃ "1_∧AA ((B@PP'C 0`'↓ P(A @ &A↓@β@i@ ¬↓A &a00∧↓ 0 ¬DI0 ¬D) ε∧) ε↓ ε↓ ¬A) ¬A) ¬↓i0 ∧α↓⊂λ%A P(A@P_&β 0h&B`PP'AA 0"QβA@Gαq(↓W@Ehα↔ 5(β 5_ε∀!UαAdxα↓@tpα↓@0λα∪@@(α Dhα↓ @⊂α∪ @(↓@`D`α↓ 0 α∪@ ↓A D`α`@(α∪@⊂α↓ D`α@00α∪@λ↓A@DhβA Dhβ↓TpεSADh↓@ d`α∩`DX↓R@4("π%"X∂πB10.EKA8-A0 -A0 -↓0 ,A@ ,A@ ,↓P ,`` +AP +↓` +↓` *Aq*↓↓↓*↓q)A↓ )A↓ )↓↓⊂ (D*⊃λ(∧J_¬A p ¬A ` ¬A ` ¬A P ε↓ @ εA @ εDI0 εDI0_π∧HT ∂
fα∂C`u0∂∃∧¬_β↓BUλαB eαB`TxαCDxαβ Dpαβ Thαβ@Thαβ@T`αβ`D`↓DDXαβ`TXαβb4Xαβb4Pα∧α$Pα∧DPαβ`TPαβ`TPαβ`DPαβ`DPαβ`DPαβ@TPαC TXαβ DXαB`T`αα`T`αB dhβ↓Btp⊂Sd¬⊂βQ(Ax∂ ∧2
k⊂8↓A
a*∧*00αAJ⊂(¬↓*(¬↓ip(¬Aip ¬@` '↓↓0 ↓↓ P ¬A0 &A↓0_αA @ ¬@`` &↓↓ β↓ 0 ¬↓p %A↓ _∧↓ 0 ∧@a %↓↓⊂ ∧↓ ∧↓↓⊂ %↓↓_¬↓ β@a %↓`_¬A αA↓0 %↓P_¬A αa0 %↓0_ε↓ 0 A↓0 %A⊂_¬A @0¬A @(¬↓)P0β↓IQλ&`⊂`%@`@8%@i@λ"Q∧⊂PπGC`0α∀Eα∀Eα∀4xα∪`Dxα∪`4x↓S@Dpα∪@4p↓S@4hα∪ 4h↓S 4h↓S $8α@ DXα∩@DPα⊃(C`¬CCa(βA
(↓
#A P_'@ip_'↓ `_'i`_'iP &@iP_&@i@ &↓ @ &i0 %A 0 %A %↓λT ⊃H$R8∂¬⊂HW @↓↔ @↓↔ @↓↔ @↓⊗` @↓⊗` @↓⊗` @↓⊗@ @↓⊗@ @↓⊗ @↓⊗ @↓⊗ @↓⊗ @↓∪#dh∂∃@ @↓∃@ @↓∃ @↓∃ @↓∃ @↓∃ @↓∃ @↓∃ @↓∩cdX∂∀@ @↓∀ @↓∀ @↓∀ @↓∀ @↓∀ @↓∪` @↓∪` @↓∪@ @↓∪@ @↓∪ @↓∪ @↓∪ @↓∪ ⊂HQ(B(∞ ∧2λβ↓α⊂λ'AAp⊂'α↓P⊂&A⊂ εI@ ↓@a0⊂&`@_¬@I0 α↓↓⊂⊂%A@ ∧I α↓↓⊂%↓@ β@I α↓p⊂%↓@ βI ↓A`⊂%↓0 α@I ↓↓`⊂%↓ α@I0@α@I08α@IP_β@@` +@`0*@@`@*@` ↓j0⊂β↓0 )@@` ↓A
⊂β↓@ (@@p α↓
⊂∧↓@ (@p α↓ p⊂∧↓@ 'A⊂ α↓ P⊂¬↓0 &A0 ↓A @⊂ε` %@AP@%Ap0%"⊂ "Q∧p0πα#`⊂α∪D`α∪Dh↓∪ $`↓∩`$X↓∩@$("
α!(⊗H!p_,jp_+jP_*j0_)↓
⊂ (@j (ip '@i` '↓ P &A P_&↓ @ &↓ 0 %A 0 %A 0 %A 0_%↓ %↓ %@i0_%@i0 %A 0 &i@ &@iP 'ip_(hT ∀D""h⊂B 5 ↓U 5(↓U@50↓U@E8↓U`58α∃`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃`E8α∃@E0α∃@E0α∃ E(α∃ E(↓UE α∀`E_α∀@E⊂α∀ Eλ↓TDxα∪`4p↓S 4`↓R`4P↓Q(BP FB2λ¬J0_)@j0_&@P_α@)@_α@@ %A@ ⊂↓↓)P@A)`P(↓J0'αI@p%↓ _↓↓) _α@@ %@P⊂α@J_(j_(HT ∃G$!x
∧@∃X↓⊗`%X↓⊗`%X↓⊗@%P↓⊗@%P↓⊗@%H↓⊗ %H↓⊗ $X∞∩cE@↓⊗%@↓∃`%8↓∃`%8↓∃`%0↓∃@%0↓∃@%(↓∃ %0Q(B`βB!⊂_↓A P &↓ @ &@IP⊂&I@⊂%@I ⊂"Q¬`(∧@`0λα∩`DPα∩@D("c⊃P⊗λ#λ0@L⊂0Kp⊂/@K`⊂/KP⊂.K@⊂-@K0⊂-K ⊂,@K⊂⊂,K⊂+@Jp⊂+JP⊂*@J@⊂*J0⊂)@J ⊂)J⊂⊂(@J⊂(Ip⊂'I`⊂&@IP⊂&I@⊂%@I0⊂%I λ"Qπ @ε∧b0 α∪@Dpα∪@D8ε DXα∩@DPα⊃(CX¬ββ⊃_β↓
(↓
#C0 &A @ &↓ P⊂&@I@⊂&I0⊂%HT ≡Gd0XλcDh∞⊃aλ∞∩cD("⊂β⊃x∂πA`8+αj@p)↓@` (A!((↓! 'ApH'↓`X&A @h&A@(↓AI@ αAP(&↓@ β↓)0 α↓↓ %A@ ∧↓ 0 α↓p(%↓@ ∧↓ α↓↓ %↓@ ∧↓ α↓p %↓@ βA α↓ P %↓P α↓ (αBI0 βα 0 βA)@ &↓)P0∧↓)a(β
@"Q1 ∧⊂HβT`u_βT@E⊂α∀@E⊂α∀@5λα∀ Eλα∀ Eλ↓TEα∀E↓T4xα∪`Dxα∪`4pα∪@Dpα∪@Dp↓S Dhα∪ Dh↓S 4`α∪D`α∪4Xα∩`DXα∩`DX↓R@DPβR@tPβQ(EhλβeBλ∧Aj08)Aj`_+jP *A
P *@j@ *↓
@ *↓
@_)A
0 )A
0 )@j )↓
)j _(A
⊂ (A
⊂_(↓
(↓
(ip 'A p '@ip_'↓ ` '↓ `_%↓i 8%↓hT 0↓ApH∂↓$h↓∪ $`↓∩`$X↓∩@DPα∩@DPα⊃(A⊂∧∧@ap↓ 0 &↓ P_'i` '@hT BC0∂↓@Dxα∪@Dhα∪DXα∩@4("¬α↓Hβπ_¬i0_βA @_αA @ ↓A P@'↓Ip "QαPxAc`α↓`4P↓B4Pα↓`4X↓A@4Xα`DX¬S↓∧pα⊃(A0λF !XD 1%∧λT Bc@0∂`dX∧R@@ ↓R@0(↓R@0 ↓RA∀`β⊃(0β∂x␈␈␈p@↓Ox␈␈}␈x␈␈␈@(↓S@4h↓S4X↓R@D("λ↓@pαD! ⊂(A)PH%αI 0%hT /∧β0∂↓`Eβ∪a∧pα@Dh↓A DXα↓`4P↓B@4("↔`Px↓G`⊂ %↓ %↓λT >Cc0∂`@ α∪ @ α∪@ α∪0(↓R`@ α∩`0(↓R@0(↓Q(GpπFAhα`P_&↓`0_%C)0_↓AI _αAλT ?C#_∂@ @ α∩`@_α∩@@ α∩@@ α⊃(@X∂λCap¬A`P8)B 0H)α@ P(A↓ (↓↓ (a⊂_'A↓ 'A↓ 'A↓ 'A↓ '↓↓ %β 0H%β 0H%β 0H'↓↓ &A↓ &A↓ &A↓ &A↓ &↓↓ &↓↓ &↓↓ &↓↓ &↓↓ %A↓ %A↓ %A↓ %A↓ %A↓ %↓↓ %↓↓ "Q↓A8
Gcq_α∃ P_α∀`p_α∀A_α∀ Eα∀4xα∪`Dxα∪`Dpα∩A`_α∩A`_α∩A`_α∪@@Hα∪ @Hα∪ @Hα∪ @Hα∪ @Hα∪@Hα∪@Hα∪@Hα∪@Hα∪@Hα∩`@Hα∩`@Hα∩`@Hα∩`@Hα∩`@Hα∩@@Hα∩@@Hα⊃(@hπβap¬A 0 )A`0 )α0 (A↓ (↓↓⊂ (a⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ 'A↓⊂ '↓↓⊂ %β@0 %β@0 %β@0 '↓↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &A↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ &↓↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %A↓⊂ %↓↓⊂ %↓↓⊂ "Q↓b_∪Gcqxα∃ `0α@`E_∧↓ `_α∀A⊂ β@`Eλαα Eαα E↓B@4xαα Dxαα Dxαα Dxαα Dpαα DPεA↓⊂_α∩AP ∧@`DPεA↓⊂_α∪@@HααDhαα @@α∪ @HααDhαα @@α∪ @HααD`αα @@α∪@HααD`αα @@α∪@HααD`αα @@α∩`@HααDXαα @@α∩`@HααDXαα @@α∩`@HααDPαα @@α∩@@HααD("βdB@∂πA00β↓ 0 )BP0↓A
Hα↓`0 (A↓⊂ βA
∧A↓ (a _∧↓ p ∧A↓ 'A↓⊂ ∧↓ p ∧A↓ 'A↓⊂ ∧↓ ` ∧A↓ %β @H↓A hαα 0 %β @H↓A ` ∧A↓ &A↓⊂ ∧↓ P ∧A↓ &A↓⊂ ∧↓ P ∧A↓ &↓↓⊂ ∧↓ @ ∧A↓ &↓↓⊂ ∧↓ @ ∧A↓ &↓↓⊂ ∧↓ 0 ∧A↓ %A↓⊂ ∧↓ 0 ∧A↓ %A↓⊂ ∧↓ 0 ∧A↓ %↓↓⊂ ∧↓ ∧A↓ "Q∧ x
B#`⊂α↓ D`α↓ D`α↓ D`α↓ Dh↓↓`$h↓↓`$`↓↓`$X↓↓`$X↓↓`$P↓↓`$("!0p↓α`P%αI P"Q@x
B#` ↓↓`$h↓↓`$h↓↓`$`↓↓`$X↓↓`$X↓↓`$Pα↓ DPα↓ DPα↓ DPα↓ D("≡bqH↓β ⊃0%EI!0"Q∂Bp_APλ⊗ReTP⊗Q=q4YVp:~,fH2\D∧_&Tj4HwE,6x2~-f89Xmε(6Y$¬ 2V∧π 2↑∞Nxε→Mvp:→L⊗_2XO↔ 2|`∞`∨β`HαXPebpα>fpα>f␈x␈␈␈0ε∨x␈␈}@∧∨0ε @{
>`λ∪↓[ ⊂↓ ==@" β→$αNx{c@¬∧↑ ¬.o0απ`P{
|}`(⊂@↓:λ∃@↓0λ=@bλα|εαhh{↓d@ε2H¬Z/0∧λ Xp_M}`H∩↓LP ↓8\=A"λα|εβ∧X{αc0∧ev
∃/0εε @h%∀K>`h@↓
JαHQ=Ab(β,∨ ¬"({βdPεX>@
[∂0λα`_vA`∂≡aλεFλ{@↓p↔⎇B!8απ∞∧v⊂{∧bp∧∞≤ n␈0
¬`@≤8∪c≡a(@↓β@pα8T⎇Ba8απ∞∧|P{¬d επ`p z␈0¬8'@∪|↑aH}0Z↓p9=C"λα|εβnx{εd@ε2Hπho0∞¬`@≤8∂k>ah∀↓b`≤@α⊂=Cbhβ␈␈H∧ 8{πd@ε2Hλ"o0⊂α`_vA`∀ε≡bλπ@S(\@αλd⎇D!8απ∞¬9H{λd`εm∧λH?0∩¬`@≤8∞≠≡b(∪↓[ ⊂α⊂q=Db_β∂↓ βNX{ aPα$,λu←0∀∧@02H⊃r≡bH f(⊂α ∃⎇E!8απ∞∧Hp{
d@ε2H ~␈0⊗β HX∩G↑bhπ@WX αXd=E`h↓∩⊗∧SH{bp∧∞≤ )∂0_¬`@≤83≡cλ@↓β@p↓H!⎇F!8απ∞β_@{bp∧∞≤ε;∨0~¬`@≤8
↑c(@↓β@p↓PH⎇Fa8απ∞β.0{
bp∧∞≤εj∨0≤¬`@≤8
d↑cH@↓β@p↓`↓⎇G h↓∩⊗∧ZH{∞aPα$, 8/0≡β`(~n ⊃↓↑ch∩↓LP α(s⎇Ga0↓x?β[x{∂b`βp}π/o0 π`P{ ∩}≡dλ∂@↓/`i⊃⎇H!xα←~H P{⊂cP¬ 2!?0"λ Xqb W≡d(∞↓≡0λi⎇HaPα-7!@{⊃cp¬=PK←0$λ XPJ`↓0↑dHε@I8Y_∨⎇I!0↓xqH8 {∩d¬\8 y␈0&ε @{ α∃≡dh∀↓epe@ L⎇Ibλαt∩XX⊂{∪d ε <p↓F␈0(π PB. β-↑eλ⊃↓B(s@8 ⎇J!pαTw`z0{∀c ∧HXαβ←0*π`X≡↓`∧≤≡e(⊂↓4p␈@Z⎇Jaxα←M⊂↓∪0{∃e@πcF α6?0,π`P}4@¬'≡eH∂@↓/`iXλ⎇K!`αAJ↓7 {⊗aPα1c0 P←0.¬`@≤8∃u>ehε@L8
@α0s=Ka8απ∞¬αX{↔aPα$,
∂00β HX∪Q}fλ}0ZX\⎇L!@α∂f8↓?`{_b@βS`β←02ε@?→`ε'≡f(
tx↓hβ⎇L`p↓ e↓T⊂{→bp∧∞≤β0␈04ε@?→`ε{≡fH¬@>hβ@p+⎇M `↓∨8↓i{~bp∧α.pβ[←06α`_vA`πQ↑fh∪@↓Pxc@xE⎇Ma@α∂f8α@{≠bp∧∞≤∧←08ε@?→`λ*≡gλ↓πp3@↓λε⎇N!↓3` α↔0{≤b β∪7`∧5?0:∧ (xλx≡g(↓πp3@↓⊂∞⎇Na(↓rH8α'⊂{≥cp¬Op∧X?0<¬ 8J!` V≡gH
@y C@↓_Q⎇O! ↓d↑Hα@0{≡bp∧∞≤O0>@↓8p⊗∧>gh@↓β@pα@+⎇Oa8απ∞¬πP{∨bp∧∞≤
∩?H¬EPAw{⎇xow{⎇x